TStore: A Trace-Base Management System - Using Finite-state Transducer Approach for Trace Transformation
نویسندگان
چکیده
منابع مشابه
TStore: A Web-Based System for Managing, Transforming and Reusing Traces
This paper presents TStore, a Trace-Based Management System that handles the storage, transformation and reusing of Traces. Traces have been often stored without explicit structure. TStore is a web tool that allows anyone to store and reuse traces with their models from various applications. The transformation of Traces helps to move from a first simple interpretation (almost raw data coming fr...
متن کاملTriangularization over finite-dimensional division rings using the reduced trace
In this paper we study triangularization of collections of matrices whose entries come from a finite-dimensional division ring. First, we give a generalization of Guralnick's theorem to the case of finite-dimensional division rings and then we show that in this case the reduced trace function is a suitable alternative for trace function by presenting two triangularization results. The first one...
متن کاملTrace Semantics via Determinization
This paper takes a fresh look at the topic of trace semantics in the theory of coalgebras. The first development of coalgebraic trace semantics used final coalgebras in Kleisli categories, stemming from an initial algebra in the underlying category. This approach requires some non-trivial assumptions, like dcpo enrichment, which do not always hold, even in cases where one can reasonably speak o...
متن کاملGenerating Discrete Trace Transition System of a Polyhe-dral Invariant Hybrid Automaton
Supervisory control and fault diagnosis of hybrid systems need to have complete information about the discrete states transitions of the underling system. From this point of view, the hybrid system should be abstracted to a Discrete Trace Transition System (DTTS) and represented by a discrete mode transition graph. In this paper an effective method is proposed for generating discrete mode trans...
متن کاملAn Approach to Weaving Stateful Aspects using LTS
Stateful aspects is a recent topic in AOSD. As the trigger of a stateful aspect depends on the system execution trace, it needs complicate modeling mechanisms for the pointcuts and weaving operations. We present an approach to weaving stateful aspects using Labelled Transition System (LTS). In the approach, the base system is specified as a LTS. The pointcut is modeled as an extended LTS that o...
متن کامل